Multi-agent Reactive Systems

We present a formalism for programming complex multiagent reactive systems in a structured manner. The motivation behind this work is to obtain a simple semantic framework for such reactive systems. The approach followed is to build upon a timed extension of concurrent constraint programs that have been used to present an elegant declarative framework for reactive systems. Timed concurrent constraint (TCC) programs are extended with the primitives for defining and manipulating ambients that contain TCC programs. The extension is simple and conservative, in the sense that TCC programs are a subset of the new formalism – Mobile Timed Concurrent Constraints (MTCC).